Réécriture et déconstruction – Ein weites Feld de Günter Grass1
نویسندگان
چکیده
منابع مشابه
Langages Algébriques et Systèmes de Réécriture Rationells
— In this paper, a new methodfor generating languages is introduced. It consists of the définition ofafinite number ofrules ofthe type: fug may be replacedby fvg iffbelongs to a given regular language. It is proved that any de terminis tic language which is prefix can be generated starting from finite sets anditerating such rules. Conversely under suitable hypotheses on the R(u, v) the language...
متن کاملUne approche générique de la réécriture
In this paper we study rewriting as an operational proof system in a generic (i.e. logic-independent) way. To do this, we propose simple conditions which allow to characterise logics were this kind of effective proof can be applied. This conditions are based on a proof tree property, that we call semi-commutation. We then show how to define the standard notion of termination, confluence and loc...
متن کاملRéécriture de programmes C--en équations logiques
RÉSUMÉ. Cet article présente un système pour transformer, de façon automatique, des programmes écrits en C--, un langage impératif simple, en un ensemble d’équations du premier ordre. Cet ensemble d’équations utilisé pour représenter un programme C-a une signification mathématique précise et les techniques standards de mécanisation du raisonnement équationnel peuvent être déployées pour vérifie...
متن کاملTechniques de fouille de données pour la réécriture de requêtes en présence de contraintes de valeurs
Résumé. Dans cet article, nous montrons comment les techniques de fouilles de données peuvent résoudre efficacement le problème de la réécriture de requêtes en termes de vues en présence de contraintes de valeurs. A partir d’une formalisation du problème de la réécriture dans le cadre de la logique de description ALN (Ov), nous montrons comment ce problème se rattache à un cadre de découverte d...
متن کاملComment fusionner des ontologies avec la réécriture de graphes ?
RÉSUMÉ. Au cours de ces dernières années, les ontologies se sont imposées comme un outil incontournable de représentation des connaissances. Cette popularité a conduit au développement d’ontologies similaires ou partiellement redondantes. Cette multiplication de ressources disponibles a mené aux études traitant de leur réutilisation et/ou leur fusion. Dans ce contexte, nous proposons une nouvel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Germanica
سال: 2002
ISSN: 0984-2632,2107-0784
DOI: 10.4000/germanica.2071